/**************************************************************************
***    
*** Copyright (c) 1995-2000 Regents of the University of California,
***               Andrew E. Caldwell, Andrew B. Kahng and Igor L. Markov
*** Copyright (c) 2000-2002 Regents of the University of Michigan,
***               Saurabh N. Adya and Igor L. Markov
***
***  Contact author(s): abk@cs.ucsd.edu, imarkov@umich.edu
***  Original Affiliation:   UCLA, Computer Science Department,
***                          Los Angeles, CA 90095-1596 USA
***
***  Permission is hereby granted, free of charge, to any person obtaining 
***  a copy of this software and associated documentation files (the
***  "Software"), to deal in the Software without restriction, including
***  without limitation 
***  the rights to use, copy, modify, merge, publish, distribute, sublicense, 
***  and/or sell copies of the Software, and to permit persons to whom the 
***  Software is furnished to do so, subject to the following conditions:
***
***  The above copyright notice and this permission notice shall be included
***  in all copies or substantial portions of the Software.
***
*** THE SOFTWARE IS PROVIDED "AS IS", WITHOUT WARRANTY OF ANY KIND, 
*** EXPRESS OR IMPLIED, INCLUDING BUT NOT LIMITED TO THE WARRANTIES
*** OF MERCHANTABILITY, FITNESS FOR A PARTICULAR PURPOSE AND NONINFRINGEMENT. 
*** IN NO EVENT SHALL THE AUTHORS OR COPYRIGHT HOLDERS BE LIABLE FOR ANY
*** CLAIM, DAMAGES OR OTHER LIABILITY, WHETHER IN AN ACTION OF CONTRACT, TORT
*** OR OTHERWISE, ARISING FROM, OUT OF OR IN CONNECTION WITH THE SOFTWARE OR
*** THE USE OR OTHER DEALINGS IN THE SOFTWARE.
***
***
***************************************************************************/






#include <iostream>
#include "ABKCommon/abkcommon.h"
// #include "constraints.h"
// #include "placement.h"
// #include "transf.h"
#include "DB/DB.h"
#include "RBPlace/violations.h"
#include "RBPlaceFromDB.h"
#include "violationReport.h"

int main(int argc, const char *argv[])
{
    StringParam auxFileName    ("f",argc,argv);

    abkfatal(auxFileName.found(),
              " AUX file name missing, See -h for more info\n");

    BoolParam check("checkDB",argc,argv);
    DB::Parameters dbParams;
    dbParams.alwaysCheckConsistency = check;

    DB db(auxFileName,dbParams);


    cout<<"Num Cells in DB "<<db.getNetlist().getNumCells()<<endl;
    cout<<"Num Cores in DB "<<db.getNetlist().getNumCoreCells()<<endl;

    RBPlaceParams rbParams(argc, argv);
    RBPlaceFromDB opl(db, rbParams);

    cout << "=========================================" << endl;
    cout << "Checking legality of Placement" << endl;
    ViolationReport initialVls(db, opl, Verbosity("1_1_2"));
    unsigned initialViols = initialVls.getNumViols();
    cout << "=========================================" << endl;

    cout << "Placement had " << initialViols << " violations." << endl;

    return 0;
}


